Dalam teori set, set semesta ialah set yang mengandungi semua objek, termasuk dirinya sendiri.[1] Dalam teori set seperti yang biasanya dirumuskan, ia boleh dibuktikan dalam pelbagai cara bahawa set semesta tidak wujud. Walau bagaimanapun, beberapa varian bukan standard bagi teori set juga memasukkan set semesta.